Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Category Theory Illustrated – Natural Transformations
abuseofnotation.github.io·3d·
🔤Type Theory
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·8h
🎯Gradual Typing
Atomic and Saturated Models
functor.network·23h·
Discuss: Hacker News
🔢Denotational Semantics
Group Theory Day in Budapest
cameroncounts.wordpress.com·2d
🌉Galois Connections
Demystifying Codensity Monads via Duality
arxiv.org·3d
🧮Algebraic Archives
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·1d
⚔️Lean Theorem
OO Design Principles: GRASP patterns
slott56.github.io·9h
🔒WASM Capabilities
AWS Certified Machine Learning Engineer Core Concepts
dev.to·10h·
Discuss: DEV
🧠Machine Learning
Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·23h
🔗Functional Compilers
original ↗
lmika.org·23h
🔗Concatenative Programming
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·1d·
🔗Functional Compilers
News for September 2025
ptreview.sublinear.info·13h
🧪Property-Based Testing
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·1d
🔧Binary Parsers
Containers, Typescript, React and AI/LLMs
markjgsmith.com·2d
🎯Gradual Typing
What is Knot Theory? Solve These Puzzles to Find Out
scientificamerican.com·1d
🔄Graph Rewriting
Issue 492
haskellweekly.news·2d·
Discuss: Hacker News
🔗Functional Compilers
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·14h·
Discuss: Hacker News, r/LLM
λLambda Encodings
Type Theory and Functional Programming (1999) [pdf]
dev.to·3d·
Discuss: DEV
🔤Type Theory
Big Ball of Mud: What You Need to Know About the Antipattern, How to Avoid It, and More
hackernoon.com·2d
🧩WASM Components
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity